and Logic - PDFSEARCH.IO - Document Search Engine

and Logic
Results: 11835

#	Item
671	Learning from an expert’s proof AI4FM Leo Freitas and Cliff B Jones School of Computing Science, Newcastle University, UK, {leo.freitas, cliff.jones}@ncl.ac.uk Abstract Add to Reading List Source URL: fm.csl.sri.com Language: English - Date: 2010-11-02 19:53:10 Automated theorem proving Theoretical computer science Logic Mathematics Mathematical proofs Proof assistants Formal methods Formal verification KeY Isabelle Rippling Automated reasoning
672	ABSTRACT Title of dissertation: HINGE-LOSS MARKOV RANDOM FIELDS AND PROBABILISTIC SOFT LOGIC: Add to Reading List Source URL: stephenbach.net Language: English - Date: 2015-10-08 14:59:19 Statistics Machine learning Probability Statistical models Graphical models Bayesian statistics Markov networks Statistical relational learning Probabilistic soft logic Markov random field Structured prediction Expectationmaximization algorithm
673	Unexpected Inconsistency The Problem Logic: Between Semantics and Proof Theory Tel-Aviv, 1-2 November 2012 Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2012-11-12 12:31:46 Logic Non-classical logic Philosophy Belief revision Paraconsistent logic Philosophical logic Mathematical logic Adaptive behavior
674	RLFI A REDUCE LATEX Formula Interface VersionRichard Liska, Ladislav Drska Computational Physics Group Faculty of Nuclear Sciences and Physical Engineering Add to Reading List Source URL: reduce-algebra.com Language: English - Date: 2008-12-30 11:47:39 Mathematics Software Typography Elementary mathematics Typesetting Syntax Mathematical logic LaTeX TeX Expression Tilde Symbolic computation
675	InfoTraffic – Teaching Important Concepts of Computer Science and Math through Real-World Examples Ruedi Arnold Marc Langheinrich Add to Reading List Source URL: ruedi-arnold.com Language: English - Date: 2011-12-23 03:25:33 Logic Philosophy Mathematical logic Semantics Abstraction Formal sciences Operations research Educational psychology Educational technology False Propositional calculus Concept
676	Eskolemization in intuitionistic logic Matthias Baaz∗ Inst. for Discr. Math. and Geom. Technical University Vienna Wiedner HauptstrasseVienna, Austria Add to Reading List Source URL: www.phil.uu.nl Language: English - Date: 2009-04-03 05:11:01 Logic Mathematical logic Abstraction Model theory Proof theory Predicate logic Philosophical logic Non-classical logic Sequent First-order logic Quantifier Skolem normal form
677	Microsoft Word - IBSAlgorithms.doc Add to Reading List Source URL: foibg.com Language: English - Date: 2015-02-02 08:45:53 Finite automata Timed automaton Logic in computer science Automated planning and scheduling Fluent Finite-state machine Theoretical computer science Planning Domain Definition Language Models of computation
678	Quantifiers and Negation October 2, Reading Quantifiers Add to Reading List Source URL: math.colorado.edu Language: English - Date: 2015-12-04 19:21:57 Logic Quantification Mathematical logic Abstraction Semantics Predicate logic Universal quantification Existential quantification Quantifier FO Negation Constructible universe
679	Decision Tree Complexity, Solvable Groups, and the Distribution of Prime Numbers Joint Work 2010 L´ Add to Reading List Source URL: files.vipulnaik.com Language: English - Date: 2016-08-13 11:33:29 Graph theory Mathematics Discrete mathematics AanderaaKarpRosenberg conjecture Planar graph Graph property Graph Logic of graphs Triangle-free graph
680	A Recongurable Hardware Tool for High Speed Network Simulation Cyril Labbe1, Serge Martin2 , Frederic Reblewski1 , and Jean-Marc Vincent3 1 2 Add to Reading List Source URL: membres-lig.imag.fr Language: English - Date: 2014-01-09 04:24:33 Digital electronics Electronic engineering Computing Telecommunications engineering Logic design Network performance Computer hardware Emulator Hardware emulation Quality of service Network simulation VHDL

UPDATE